Prove in Euclidean geometry